Temporal Logics and Temporal Reasoning
نویسنده
چکیده
منابع مشابه
Logics of Time and Action
We present an introductory survey of temporal and dynamic logics: logics for reasoning about how environments change over time, and how processes change their environments. We begin by introducing the historical development of temporal and dynamic logic, starting with the seminal work of Prior. This leads to a discussion of the use of temporal and dynamic logic in computer science. We describe ...
متن کاملTemporal Description Logics
This chapter will survey the temporal extensions of Description Logics. These formalisms give an emphasis to reasoning tasks such as satis ability, subsumption, classi cation, and instance recognition. The analysis will include the whole spectrum of approaches used within the Temporal Description Logics area: from the loosely coupled approaches { which comprise, for example, the enhancement of ...
متن کاملBranching Temporal Description Logics: Reasoning about CTLALC and CTLEL concepts
In many applications of description logics (DLs) it is no longer enough to describe the static aspects of the application domain. In particular, there is a need to formalize the temporal evolution of an application domain. This is the case, for example, if we want to use DLs as conceptual modeling languages for temporal databases. Another example are medical ontologies, where the representation...
متن کاملTemporal logics for reasoning about quantum systems
Reasoning about quantum systems has gained prominence due to a big potential in applications such as information processing, security, distributed systems and randomized algorithms. This fact has attracted research in formal reasoning about quantum states, programs and processes. On the other hand, temporal logics have proved to be successful in the verification of classical distributed systems...
متن کاملTractable Temporal Reasoning
Temporal reasoning is widely used within both Computer Science and Artificial Intelligence. The basic idea of proof, within propositional, discrete temporal logics, is both intuitive and appealing. However, the underlying complexity of such discrete temporal logics has led to use of either simplified formalisms, such as temporal interval algebras, or simplified techniques, such as model checkin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004